Weyl's tile argument